Verification of Safety-critical Software
نویسندگان
چکیده
منابع مشابه
Formal Specification and Verification of Safety-Critical Software
This thesis is about formal specification and formal verification of software and consists of three different parts. In the first two parts, the formal specification language OCL is treated in two different contexts. The third part describes a technique for analysing the consequences of hardware faults as part of formal software verification. The first part describes the development of OCL spec...
متن کاملOpening up the Verification and Validation of Safety-Critical Software
Smooth cross-border rail traffic is of important interest to commercial realizations of ETCS. Starting from the hypothesis that the traditional way of developing software for safety-critical systems might be an obstacle to standardizing rail traffic, the ITEA 2 project openETCS has set out to pursue the idea of transferring an open-source development style to this domain, taking the EVC as a ta...
متن کاملResearch on Formal Verification Technique for Aircraft Safety-Critical Software
As an important part of airborne avionics system, aircraft safety critical software (ASCS) plays an essential role to the safety of the aircraft, and to ensure its quality and reliability is one of the key problems we are facing. Formal methods have become important means for modeling and verifying safety critical software. In this paper, formal method is introduced into the ASCS verification f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Queue
سال: 2011
ISSN: 1542-7730,1542-7749
DOI: 10.1145/2016036.2024356